Structure of a replication-terminator protein complexed with DNA