明年探禹穴，相见会稽山出自哪首诗？

明年探禹穴，相见会稽山出自哪首诗？

明年探禹穴，相见会稽山出自杨维桢的《小临海曲（十首。一名《洞庭曲》）》。这句诗词出自杨维桢的《小临海曲（十首。一名《洞庭曲》）》。
下面是这首诗的全文：
客入毛公洞，洞深人不还。明年探禹穴，相见会稽山。