Desatada la Guerra del Brasil que enfrentó a la República Argentina con el Imperio del Brasil a raíz de la invasión de la Banda Oriental, Mason fue uno de los principales comandantes de la naciente escuadra republicana.