Yes.The best news is the pilot is ok and there were no civilians injured. The airplane while a big hit to the American taxpayers pocket book, will be a learning experience for DoD and Foreign forces that own it. Sorry for being so long winded.
From what I researched, this is the 10th F35 in all global forces who fly them, to have crashed. Roughly 100 million cost per F35.