Officials and Indian & Brazilian community members at Gandhi Jayanti Day event in Brasilia (2 October 2023).