A medida foi publicada em edição extra do Diário Oficial da União (DOU). Nas redes sociais, o presidente demonstrou pesar pela morte do Rei do Futebol.