Blue, Royal blue, Navy