Name the type of leukocyte that is produced in the red bone marrow and that matures in the thymus.
a) T lymphocyte
b) B lymphocyte
c) Natural killer cell
d) Neutrophil