“Colonel Mustard” would imply that it’s Army Yellow.

Army green is what you’re looking for.

“red sky at night sailors delight” is older than the name of the color orange, so yeah Navy Orange makes sense.