As part of President Trump’s war against diversity, equity, and inclusion, the secretary of defense this week ordered the Navy to rename ships currently honoring, among others, a gay civil rights icon ...