水库下游有防洪要求，遇水库大坝设计洪水时，当水库蓄水达到防洪高水位后，水库应( )。