QuickCheck: Did a US President get 'crocodile insurance' when visiting Australia?

AUSTRALIA is famous for its crocodiles, especially in its Northern Territory.

Darwin, the capital of the Northern Territory, has the largest number of crocodiles in the country and was one of the backdrops for the 1986 Crocodile Dundee movie.