July 7—Today’s headline grabber was Boris Johnson’s press conference at No. 10 Downing Street to finally announce his exit. He has resigned as Conservative Party Chairman; and will have to be booted out as Prime Minister, since he wants to stay on until one is chosen. Good riddance.