At least it was an Indonesian oil company that is responsible. That's going to be an expensive mess to fix. If they can.
Yeah, normally drilling mud goes INTO the bore.