F-35 just crashed in Alaska, pilot is ok