Why has Elon Musk been pushing for a government shutdown? | BBC News