“The Strait of Hormuz is effectively shut to commercial shipping traffic.”