trupper skulle därefter besätta gränsen och Wady Halfa.