Piscina municipal, VILLA DEL REY