U.S. military sends aircraft carrier and attack ships to Persian Gulf amid Israel-Hamas war, 23 October 2023