How cleaning up shipping cut pollution—and warmed the planet