Turkish central government gross debt stock at $233.5B in May