Porfirio Muñoz Ledo — Mexican diplomat and politician (1933–2023)