Lia Thomas, a transgender swimmer at the University of Pennsylvania…