old key west history