Judge Ohta's release of David Antonio Aviles Perez was justified