Gulf of Mexico shrimp trawl designs. - Bullis, Harvey R.