Mario R. Ramil — American judge (1946-2017)