Năm 1390, vua Trần Thuận Tông sai thợ đá ở An Hoạch (tức làng Nhồi hay Nhuệ Thôn thuộc huyện Đông Sơn, Thanh Hóa) đào động ở núi Thiên Kiện và động ở núi Khuẩn Mai để lấy tiền của đã chôn khi trước.
 |
| Ảnh minh họa. |
Bấy giờ hai núi đều bị lở, cửa động lấp kín không đào được bèn bỏ.
MN