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