Día Nacional de la Mascarada Costarricense.