Did Trump already bulldoze all libraries there?