Червленный вполне себе название цвета, красный, как название цвета появилось много позже