King Sancho el Mayor of Navarra (Sancho the Elder) founded the city of Donostia (the Basque name of San Sebastian) around 1180. It is likely, however, that people were settled there prior to the 12th century, possibly in what is now El Antiguo district.