This happened just before 11 a.m. on Thursday.
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.