F-35を国内製造した場合の1機あたりのコストがいつの間にか95億を下回っていた