“Iran was attempting to lay mines in the Strait of Hormuz, posing a risk to commercial shipping.”