South Korea sharply trims GDP forecast after martial law fiasco