Trabalho, política e solidariedade operária: uma história social do arsenal de Marinha do Rio de Janeiro (C.1860-C.1890)