The US should guarantee freedom of navigation in the Strait of Hormuz