Antonio BarragÃ n ( born 12 June 1987 ) is a Spanish football player . He plays for Real Valladolid . Antonio BarragÃ n FernÃ ndez ( born 12 June 1987 in Pontedeume , Galicia ) is a Spanish footballer who plays for Real Valladolid as a right defender .