Maiden voyage for Boaty McBoatface: Submersible named as a compromise on RRS Sir David Attenborough to explore waters below Antarctica