Z Prahy do Košic za sedm a půl hodiny. Pendolino pojede dál