Shrimp industry fights $9.4M loss from federal turtle device mandate