大鐘亭公園という公園になっている