Launched on 4 March 2001 as the largest ship operated by the U S Navy, this aircraft carrier is named after which past U S president?