“General Joseph Votel estimates that a mass escort mission for commercial vessels through the Strait of Hormuz would require the commitment of 15 to 20 U.S. Navy destroyers.”