Which one of the following is a branch of the facial nerve
Deep petrosal nerve
Lesser superficial petrosal nerve
External petrosal nerve
Greater superficial petrosal nerve
Greater superficial petrosal nerve