Yeh Pulu

[A. G. Maisey]

That's more like a Javanese bendo, which is a similar sort of thing, but usually more weighty than the mardhik.

The word "golok" is pretty generic, just about any heavy sort of knife that chops can be a golok.