director general of military operations