Double-rig shrimp trawling in the Gulf of Mexico,