The Strait of Hormuz Has Been Closed for 100 Days. Why Aren’t Oil Prices Higher?