“The USS Gerald R. Ford completed the longest deployment by a U.S. warship since the Vietnam War.”