‘It’s official’: Biden won, Trump lost