U.S. mulls Sinai troops pullout due to ISIS