Like they wouldn’t have found that anyway.
Nah, the last explorer who fell into it just named it the Big Babbling Brook and went on his way.