what is short for new york city?