Rename 10ships to 10ships.py