Lia Thomas, a transgender swimmer, didn’t transition to gain advantage