You must log in or register to comment.
But how many leagues is it!
According to this there are about 91 different definitions of league throughout human history, so I thought the most reasonable way to deal with your question was to calculate them all:
Cave Depth in Leagues