Paint Codes - "Richard Petty Blue"

I never heard of Basin street blue i always heard of it reffered to as Petty or Corporate blue.
What was it called on the 72 Dodge's?