Dolphins named for Singapore 2025 World Championships (article)