Does mbed fully support the nRF52840-DK yet?

The reason I ask if that its compiler recognizes the P0.xx pins, but apparently not the P1.xx pins.  For example, it throws the error message: 

Error: Identifier "P1_00" is undefined in "main.cpp", Line: 9, Col: 12

for this line of code:

 Serial pc(P1_00, P0_13);

So, either there's some other way (?) to refer to pin P1.00, or else it would appear mbed doesn't yet support the nRF52840-DK.

Please advise.