Only slightly off topic: a whale shark from the Kaiyukan Aquarium in Osaka