Por localización (en cubierta) y forma me suena más a enchufe estanco de cubierta de 4 pines (respetando la opinión del resto de cofrades, también válidas), que no es más que una toma de corriente a 12V (que te vale si tienes un aparato de 12V en el que adaptas ese tipo de enchufe, es decir, hoy en día para bien poco).
Yo tenía uno parecido pero de 3 pines que sustituí por una toma de mechero, mucho más versátil hoy en día....
En concreto, creo que lo tuyo es justo esto (lo encuentras por google buscando "enchufe estanco de cubierta de 4 pines"):
https://www.baron.com.ar/articulo/en...lastico/e03121
Espero que te sirva!
