största i Spanien , en truppstyrka om 800 marinsoldater och 1,000 arsenals-arbetare , som fått någon liten militärisk öfning , samt dessutom en liten flottilj.