Triangle DEF is congruent to triangle GHJ by the SSS theorem. Which rigid transformation is required to map triangle DEF onto triangle GHJ ?