Istanbul’s basilica becomes a mosque again