Agentes de segurança dão codinome ‘tubarão’ ao vice-presidente