Same code as lavender indigo
The name navy purple is odd, because #9457EB is a fairly bright, bluish purple and not dark like navy at all. The 2015 Wikipedia list of colors N to Z had a navy purple entry with this code. In the same years, Wikipedia's lavender article showed the identical code as lavender indigo, taken from COLOURlovers, a site where users name colors. That is the only source we found, so the name has no older history.
Do not confuse it with purple navy
Purple navy, with the words the other way around, is a dark grayish blue. Close to navy purple is medium purple, a CSS keyword that is a little grayer.

