Unfortunately no mention of the equivalent Japanese tradition of ama[1], identically named in Chinese characters (海女) though much older - the first records of female ama are from the Heian period, whereas haenyeo as female divers appear to be a more recent phenomenon.
I am sure there are a number of interesting comparisons to be made and probably some historical connection between the two. However, these kinds of cultural similarities between Japan and Korea are rarely discussed, probably due to the nationalist animosity between the two countries.