TP53 and choroid plexus carcinoma: The child presented with a brain tumor of uncertain histological type and unknown origin, and the identification of a germline TP53 mutation supported the diagnosis of a choroid plexus carcinoma.