do you have a debugger? check what happens after you receive one message.
a number of potential issues:
-RC1IE and RC1IF: how are they defined? mid-button click on them and check if they correspond to the CORRECT pin. I had ton of headaches with the K42 because the include files were INCORRECT. the RC1IF and RC1IE bits are defined in multiple PIR and PIE registers, because the include files have a lot of legacy crap on them. opened a ticket a couple of versions ago, they haven't fixed it yet.
-RX overflow. if the UART is in a RX overflow condition, it will stop receiving data and won't generate any more interrutps. to resume operation, switch off and on the receiver by using the CREN bit. I doubt it's your case since it seems you never enter the interrupt routine.
-High priority interrupts are incorrectly configured or you didn't write the code correctly. Try to disable prioritized interrupts for now