Title: Subaqueous rock drilling