infanteri och en afdelning ridande polis.