Trump says he would name Elon Musk head of government efficiency commission