“Iran's Islamic Revolutionary Guard Corps (IRGC) stated that any U.S. military vessel entering the Strait of Hormuz would be considered a violation of the ceasefire.”