Incorrect default value for MAX_HASH_ROWS option [CR #633491]

In Optimizing Queries and Deletions > Controlling query processing > Setting query optimization options, the MAX_HASH_ROWS option incorrectly states that the default value is 1,250,000 rows; the correct value is 2,500,000.