EDM on the high seas with Cedric Gervais