TFA said the names were taken from published AIS data, so perhaps Boaty has not shown up on USA AIS receivers as yet. Since IIRC it is an AUV thats not surprising I wonder if it even has an AIS transmitter. The ship they were asking for names for was actually named Sir David Attenborough in the end.