Самый дорогой баг в истории: уничтожение «Маринера-1»