Crocodile killed 'after fatally attacking man on holiday with wife and children'

A crocodile believed to have fatally attacked a man on holiday with his family has been killed.