“One military option under consideration by the United States involves using ground forces to occupy and reopen a portion of the Strait of Hormuz to commercial shipping.”