Hagia Sophia — mosque, museum, and former church in Istanbul, Turkey