When newspapers across the world mourned the loss of Mahatma Gandhi