Take a fascinating dive into the intriguing methods and history behind NASA's Mars naming conventions, from official monikers approved by the International Astronomical Union to the more whimsical, unofficial nicknames.