The English term "diver" matches the Dutch term "duiker"