Also called: Straight Bar Pushdown, Straight Bar Tricep Pushdown, Bar Pushdown
Any one of these is enough.
Know a gym that has it? Open its page and suggest a change.