Fünf Walhaie wurden von zwei Tauchern gerettet, nachdem sie in Fischernetzen vor den Küstengewässern Indonesiens gefangen waren.