Republican Mike Johnson elected new US House Speaker – BBC News