Reopening of the Barbara Bush Branch Library after recovery from Hurricane Harvey