Make sure the USB cable is completely plugged into both the Arduino board and the PC. The USB socket on a brand new board is sometimes a bit more difficult to plug the cable in to. A partial plug in can result in power connections being made (thus the LEDs lit up), but not the data connections (thus no port).