Update: The cops were there because there was a May Day in Bryant Park, which is behind the library.

Why were there 10 cops stationed by the main Manhattan library today when normally there are none?