Sjekk: Sosialisten Zohran Mamdanis foreslåtte budsjett er større enn budsjettene til 47 amerikanske delstater.