Ketchup on its own won’t make a good replacement. Combine ketchup with fish sauce, oyster sauce, dark soy sauce, rice vinegar, and brown sugar to get a similar flavor.