Marines invade Honduras.