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