Does the RCA hdtv model # d52w20b have the hdmi port?