大洋马一词是怎么来的