benedek miklós háború