Wiring a ceiling fan with light red wire