USS Michigan nuclear sub docks in South Korea