What island nation was invaded by US troops in October 1983?