The best burger topping is mayonnaise mixed with Peter Luger sauce, hot sauce, and roasted garlic. I respect the President for taking pride in how his burger is prepared. If I were ordering right after him, I'd probably order it the same way, just out of curiosity.
Go to a Five Guys, get a burger with A1, mushrooms, pickels, and onions.
I went to Five Guys yesterday. Mushrooms? That's not really my thing. I do like that A1, though.
Mushrooms are fine if you have some other fancy topping, like goat cheese.