Check: Socialisten Zohran Mamdanis föreslagna budget är större än budgetarna för 47 amerikanska delstater.