Aha, David W., Naval Research Laboratory