Is Maritime Risk in the Strait of Hormuz Mispriced?