Tourist killed in OC mall robbery gone wrong ID'd