What we can VERIFY about the repeal of the 1965 equal employment opportunity executive order