Independence Day celebrations in Porto-Novo, Benin, July 1972