President Trump needs to face reality on the Strait of Hormuz.