Sri Lanka launches search operation after 7 elephants found dead