Energy firms shut 13% Gulf of Mexico oil production due to twin storm threat, U.S. says