https://tutorial.eyehunts.com/python/while-else-in-python/