Bátonyi Pál ny.á. honvéd ezredes, hadtörténész