Shell to cut 25% of deepwater Gulf of Mexico workforce