Hello, my name is Pavel, and I will be supporting your case, I recommend reviewing the schematic of this board the UART0 is not available, because is used by the MK20 and routed on the board, that why is not available on the Arduino pins.
Pavel_Hernandez_0-1710549711915.png
But maybe you could use these other pins.
Pavel_Hernandez_1-1710549842607.png
Pavel_Hernandez_2-1710549865162.png
Best regards,
Pavel