What server names do we prefer?

I'm interested to see what the consensus is, so I've made a couple of polls! Go wild:
US names poll: https://strawpoll.com/YVyPv6Lo1gN
EU names poll: https://strawpoll.com/NoZrzDW4pZ3