A statistical machine translation decoder