Also called: Two-Dumbbell Overhead Tricep Extension, Double-Grip Overhead Tricep Extension, Two-Handed Dumbbell Tricep Extension
Any one of these is enough.
Know a gym that has it? Open its page and suggest a change.