Cand a fost pentru prima atestare documentara a orasului Mangalia?