Happy Presidents Day or, as we used to say, Washington's Birthday. Thanks for stopping by to catch up, and thanks to our friends at Apple News for working today. Get our early-morning blast, seven days a week, by signing up here for Axios AM: Mike's Top 10.
