How is came from he name of eritrea for 1st time?