The dead included five police officers who were attacked on a night-time patrol. Bodies of eight other men were also found around the popular holiday destination. They were riddled with bullets and four of them had been beheaded.