The military career of Colonel Allen Coster