The four great NASA space observatories