Речник на българския език
кораловочервения е производна форма на кораловочервен (м. р. непълен член).