Safety protocol: Snipers, divers and AI: securing the Paris Olympics opening ceremony