Army Rangers killed in ISIS fire fight identified