“The United States and Iran exchanged military fire in the Strait of Hormuz while the U.S. was escorting two ships.”