Eloy Velasco, juez de la Audiencia Nacional.