Democrat Ortiz files for re-count in US House race