You could also buy from PrintedSolid, which is a US company that Prusa bought. Looks like they have a free shipping deal, but the lead time is similar for the Core One. Maybe when they catch up with demand, they’ll keep it in stock in the US? I don’t see a lead time for the Mk4.

https://www.printedsolid.com/collections/3d-printers