South Korea has cleared SpaceX-IPO-linked dollar demand of around $1.5 billion, source says