Attack on North Korea ‘maybe an option’: Retired US General