TEXAS— Over the weekend of June 9, Texas beachgoers stumbled upon thousands of dead fish that had washed ashore on the Gulf of Texas, coating the shoreline in a blanket of fish carcasses. According to local officials, the Friday waves from the Gulf of Mexico pushed the dead fish onto...