“The United States is withdrawing the Gerald R. Ford aircraft carrier, which has a crew of 5,400 sailors, from the Middle East.”