Dolphin trained in the Philippines dies at Resorts World in Singapore