There's not really a station called 'St Pancras Domestic'. For some reason, some booking and timetable services differentiate between East Midlands and FCC as Domestic and South Eastern and Eurostar as International (with different station codes) but the station is officially called St Pancras International and that appears on all tickets I've seen.