Czechia is the official short name of the Czech republic