Energy companies shut down nearly 20% of Gulf of Mexico oil production and evacuated staff from 13 platforms as Hurricane Michael continued on a path that could take it up through the eastern Gulf of Mexico in the direction of the Florida panhandle. Five dynamically position rigs had been moved out...