Mario is a fictional character in the Mario video game franchise, owned by Nintendo and created by Japanese video game designer Shigeru Miyamoto. Super Mario is a series of platform video games created by Nintendo featuring their mascot, Mario. Alternatively called the Super Mario Bros. series or simply the Mario series, it is the central series of the greater Mario franchise.

According to my source, who I believe is citing an internal database, the NES indeed had a ship date of October 18, 1985. However, Super Mario Bros. itself was listed in this same database as being released November 17, 1985.