Сохранились ли какие-нибудь данные об обороне Мангупа против турок и его захвату османами в июле 1476?