“The Washington Post”: 19 U.S. warships are deployed in the Middle East.