To commemorate the movie release Dumbo was to appear on the December 1941 cover of Time magazine but due to the attack on Pearl Harbor the cover went to General Yamamoto.
When leaving the dock, as you go up the rise, the crocodile on the right had his snout broken off during an evacuation practice, so it doesn't look quite like the crocodile on the left.