encanto how old is mariano