Shorter operating hours for Thomson-East Coast line