A military operation (often involving new supplies of men and materiel) to strengthen a military force or aid in the performance of its mission.