Elon Musk bumped with joy when Trump mentioned Mars while addressing the gathering inside the Rotunda of the US Capitol building in Washington, DC.