Pavel Petr, generál, vojenský velitel NATO