Despite a long list of House and Senate supporters, the Pentagon is refusing to consider making the U.S. Marine Corps equal to the Navy when it comes to the name of the department the two services share. But Mike Mullen, an admiral who chairs the Joint Chiefs of Staff, says that despite his long opposition, he'd rename it the Department of the Navy and Marine Corps, if Congress ever passes the change. "We don't need to do it," says the former chief of naval operations. If ordered? "Oh sure. I actually do follow the law."