Орден Трудового Красного Знамени так и назывался - и официально, и неофициально. А вот у ордена Красного Знамени есть еще и "бытовое", впрочем - очень укоренившееся - название, именно в пику "трудовику" - орден Боевого Красного Знамени, почетный "боевик".
Погуглите получше - статут ордена поищите, что ли.
