what is the official name of the country with the fastest time ?
republic of kenya