‘Christmas miracle’ baby born aboard US ship carrying Korean war refugees