July 15 made Turkish public holiday to mark coup bid