Rand Paul floats Elon Musk as potential House speaker