that is what a martini is called when olive juice is added