US to enforce ban on shrimp, other fish caught in Mexico’s Gulf of California