First post here, but thought some may be interested. The White House has several beer recipes and there is currently a petition for them to release this information. You can find more at the link below, but the petition does need signers.
https://petitions.whitehouse.gov/petition/release-recipe-honey-ale-home-brewed-white-house/XkpkYwc0#thank-you=p
https://petitions.whitehouse.gov/petition/release-recipe-honey-ale-home-brewed-white-house/XkpkYwc0#thank-you=p