A card is drawn at random from a deck of 52 cards. What is

a probability that it is a King, given that it is a face card (J, Q, K)?