Begrafenis paus is grote militaire operatie: zo wordt het beveiligd