Hurricane Michael cuts US oil production in Gulf of Mexico 40%