This happened on Tuesday.
Catch up on the most important headlines with a roundup of essential NYC stories, delivered to your inbox daily.
Gothamist is a website about New York City news, arts, events and food, brought to you by New York Public Radio.
