Title: Operations analysis in the United States Navy