Diver finds first-ever European cave fish