Which UART is connected to the RS232 interface of the Explorer16 board?

The Explorer16 board uses UART2 to connect to the RS232 interface.