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