Militaire interventie in Gambia