Europe weighs military options in Strait of Hormuz as tensions with Iran escalate