What type of beer should the president serve?