Did NASA really spend millions of dollars for just a space pen?