Bush "not overjoyed" at death of bin laden