[unwind]

It's actually the diameter that is 1,000 km, so I guess that changes the mass if assuming Lunar density to around 1.74×10^21 kg.