Uma greve em dois tempos: o movimento nacional dos marítimos de 1953 no Rio de Janeiro e os impasses da historiografia política. Documento