Desearia saber el gentilicio de Santa Marina del Rey (si tiene). Si algun forero lo conoce, le agradeceria que lo indicara en este foro. Gracias

tengo interes en conocer los gentilicios de los municipios de Leon y me falta el de Santa Marina ¿Me lo pueden decir? Gracias