Johnson's departure: What this means for Brexit, the UK, and the EU