The pomp was of a military character.