US Navy sails nuclear submarine through Strait of Hormuz