Unexplained sinkhole endangers Dublin Library's stone wall