Hurricane Michael shuts 40% of Gulf of Mexico oil output