mastelero de gavia: Mastelero del palo mayor.