People check a dead whale on a beach in Panadura, Sri Lanka, on Nov. 3, 2020. Over 100 whales, swept ashore on Sri Lanka's beaches on Monday, were rescued by Tuesday morning and pushed back to sea after a nearly 18 hour rescue mission, but four whales died, the navy said here. (Photo by Ajith Perera/Xinhua)

People check a dead whale on a beach in Panadura, Sri Lanka, on Nov. 3, 2020. Over 100 whales, swept ashore on Sri Lanka's beaches on Monday, were rescued by Tuesday morning and pushed back to sea after a nearly 18 hour rescue mission, but four whales died, the navy said here. (Photo by Ajith Perera/Xinhua)

People check a dead whale on a beach in Panadura, Sri Lanka, on Nov. 3, 2020. Over 100 whales, swept ashore on Sri Lanka's beaches on Monday, were rescued by Tuesday morning and pushed back to sea after a nearly 18 hour rescue mission, but four whales died, the navy said here. (Photo by Ajith Perera/Xinhua)