Musk tweeted, later deleted. www.washingtonpost.com