Galaxy rotation problem