Mario Cuomo was the mayor of New York City.