A Pentagon official to the Washington Post: 12 American ships are currently in the Middle East