How Much Gulf of Mexico Production is Still Offline?